fixes #4845