fixes #4168