Correct some spec