(Random minor javadoc fixes...)