typo in let-aliasing post