Fix comment in user/bash_logout

diff --git a/user/bash_logout b/user/bash_logout
index 80c8d841103e732e1edbb0ccb368d918b756379c..b2e4f093297329ef44bafa78ffe2761572cd2ae5 100644 (file)
--- a/user/bash_logout
+++ b/user/bash_logout
@@ -17,7 +17,7 @@
 # Clean up SSH agents, if running
 [ $SSH_AGENT_PID ] && eval `ssh-agent -k`
 
-# Clear console, it it is local terminal
+# Clear the console if it is a local terminal
 case `tty` in
     /dev/tty[0-9]*|/dev/ttyS[0-9]*)
        [ -x /usr/bin/clear_console ] && /usr/bin/clear_console --quiet || clear