FIXED tiny JavaDoc error