Fixing copy-paste errors in Javadoc, and some minor warnings.