Fix type in previous commit