Fix a couple of minor ReSpec bugs