Fixed bugs in specs.