fixes #7777