lint per #13586