made small change to fix an error