Fixed some JavaDocs, and my own forgetfulness.