fixes #6

Previously, the documented linux short-cut was more likely to log you off :)