This breaks compilation in some configurations, so needs to be fixed.