Minor coverage inclusion.