Fix bugs in specs.