lint per #12715