fixes #4297