fix a couple of minor mistakes