Modified a bit of JavaDoc