Fix some thinkos.