Fixing IDAstar