JavaDoc correction
[ci skip]