JavaDoc corrections.