Small changes in JavaDoc