R1:c5e64166da96

Minor, older version of the linter went crazy.