Correct a compiler bug ?