Fix coverity_spec