some minor detail fixed