# minor corrections