Make Cobertura happy
Update spec