Whoops, I blindly copied that from another file. Fixed.