small fixes to 6-03.c