Fix a bug under Linux's ZSH
Fix a bug under bash