Fixes fubucontinuations.diagnostics to use the right namespace