3510: Fix whitespace bug in shell