fixes #6052;