This is a bit annoying, but make sure things compile when the `toLabeled` flag is enabled.