some of JavaDoc stuff