Notation corrected in PI controller