Mining and construction equipment maker Joy Global actually had a pretty good week for itself.