fixed something in the sagelib test :)