multiplication regex: Remove space from "\ 9" where it was accidentally left in

This should have been done in commit 0c5b914f2ffe3fee9f72631fea8b66f2bb3361fe