Fix Javadoc markup