fix specs' rewrite mistakes