fix bash bug: history weird