Fix a couple of thinkos...