Fix a type

Now it actually matches the type of the following definition.