fixes #4560