specs is a generated file. I agree that we should fix this by correcting the specs definitions. David