minor corrections and adjustments in english version