Minor corrections after first revision