Slight javadoc formatting tweak