Small changes to Javadoc and Astar