small fix on >>