Fixes #10259: Remove extra ampersand