fixes #4176