[MINOR] small modifications