[spec] Make green.