Fix #9191 for 0.4. Type instability of \