some small corrections, modifications