Fix #5080.