fix a hole in the spec