Fix Javadoc, yet again.

Hope this doesn't break the source.