Work around a compilation issue