Minor addition to JavaDoc