Fix problems in specs