Minor fix to commit fff1980dd0a7cfd88dfbf2d8f1acb1f4b53a929a