The cure for boredom on the job