Minor corrections after CR