Fix #5191