Some more JavaDoc