Fixing wrongly used tclWITHHOLES in named tactics (continuation of 9fa45b3).