fixes #6600