Follow-up to r224987: fix a lint warning