Minor correction. No warning needed.