JavaDoc correction