Corollary to encman update