Fix JavaDoc warning