Issue #264, fixing a compiler bug