Tiny fix to JavaDoc.