minor fix (thanks to @Cydrobolt for finding this)