fixed bug in positive_part