Bugfix for 'cake coverage'