Fixing a coding typo for leading zero counter