corrects an error in reify’s documentation