fixes #4028