Fix some straightforward Javadoc problems