Fix regular expression for \timesaround