a minor change. (a test on mac terminal)