fixes #4334