minor changes in JavaDoc