Add "javadoc/" to .gitignore, and correct a mistake in a comment