fixes #5250214311645