Fix JavaDoc formatting