Minor corrections for Javadoc