insignificant sign error

I think the intention of alpha and beta are clearer if `cosh` is evaluated at both endpoints of the domain.