Fix wrong type of argument in UIView animateWithDuration. Bug and fix reported by a user.