Tiny little comment changes to make Javadoc happy.