minor tweak to CommandExec (not important), kludge-fixed theme loading by addition of another variable, because [theme] is okay for section checking but not for checking for equality against theme