Fix some JavaDoc