A pleasant start to the workweek.