Rewrite some spec