more JavaDoc stuff