fixes #4424