Minor improvements in the javadoc