Slightly improve Javadoc