Fix spec error introduced in 904b09b5