any reason for hard-coded integers vs. just using the `UIAlertViewStyleDefault` constants?