JavaDoc additions