fixes #4263