Just some tiny javadocs optimizations