fixes #4454