Fix linting error introduced with 83c57f0a286b988f3f95871561f5a833798bd875