Fixes to Javadoc comments