Slight JavaDoc cleanups