Fix error reported by user
Remove unused code from RumToCov