Tweaks to printing in admmLasso