Fixing 05dc8edc5a97871c7d5b4c6b25e878ea7e800937 properly
Minor linting