Documentation as a Bug-Finding Tool