Correct JavaDoc