Fixup for lint