fixes #4817