see #3677