Empty coverage isn't formatted as empty string, but as "[)"