Fixes #9288