fixes #4797