fixes #9648