bugfix: A* to a*