fixes #5270