add comment to redef()