Fix a minor error in postel projection