small tweak to pass lint