Fixed mangled specs