Minor fix to Unix appendix