Maybe this fixes that weird coverage issue.