I added a JavaDoc annotation to top() and improved /top, though the improvements have not yet been tested.