Fix a bug under bash