some very small corrections