Workaround of coverage anomaly