[nomaster] corrects an error in reify’s documentation