Fix for cobertura