As far as I can tell, the .thm file is correct. The only instance in the .thm where "step.rc" appears reads as step.rc with the correct XML brackets before and after, which looks correct to me.