Slight javadoc'ing