small corrections and log comments