Slight modifications; removed translation