Fixing some javadoc, adding missing header.