Fixed by #3132 . Sorry for the inconvenience.