* Fixes #9277 (again)