In ARB_timer_query's three code examples the array used for storing query objects is defined as a GLint instead of GLuint.
GLint available = 0;
// timer queries can contain more than 32 bits of data, so always
// query them using the 64 bit types to avoid overflow
GLuint64 timeElapsed = 0;
Thanks. This is being updated and will push to the registry website soon.