Minor change, making one spec0 test pass, hurray