Arrrrcamp 2013: last-minute fixes