Fix checkUserDefined