Work around the compiler bug