some tiny change of protodef