fixed small error in prefixof