Correct a constructor case for type annotations