some small corrections