Polished javadoc. Thanks to Andreas Jacobsen for the patch.