Adding a bit of JavaDoc