Fix wrong JavaDoc introduced by ac2d17000f441054ea4db87d1835d18775d04a74