Fix JavaDoc error