Logging off another user, remotely

So, for some reason someone left root logged in to the physical console on one of my Linux servers (Debian 4.0 on x86, if you must know), probably to see if the system was up after a power event. Well, of course it was up. I don't like root being logged into the physical console for obvious reasons, so in case I need it in the future, the appropriate incantation is:

# skill -KILL -t tty1

You're welcome.