fixes #4924