#53: minor code line change