touched up JavaDoc