Fixing (possible) issue with Clover logging