Do not automatically nest defrecordp argument

This may lead people think that an alias is defined
and that is not the case.