A bit of JavaDoc-ing