test teh docs, and a bug they found!