A little JavaDoc update