Fix a minor bug in clipping.