Before revision: To change the channel of a TV, the user usually presses a "channel up " or "channel down " button on the remote control, which sends a coded message to the set.
After revision: To change the channel of a TV, the user usually presses a channel up or channel down button on the remote control, which sends a coded message to the set.