add JavaDoc
minor formatting change