Some small corrections