Fixes a few cases where the JavaDoc was wrong.