Bug fix in JavaDoc