Fix #3187