Minor JavaDoc stuff