fix option bug; fix travis