see #6116