Fixing bugs in a_negaras