Yes, `cmp` should be changed to `ctrl` throughout.