Bug-fixing a wrong variable name