A*: small bugfixes