Corrects typo in lambda vs. proc syntax