fix two small mistakes