Cosmetics: corrected version in JavaDoc