Fix formating in src/covers