Work around compiler bug (probably)