Fixed up bugs in the a* search.