Work around shoddy compiler error analysis (#3927)