Fixing bugs in specs