fix bash shell bug