Added missing 'int' that got lost in untested edits...