Coverage disabled by default