Fix formatting & linting (#997)

For some reason, CI was green before merging #995, but missed the
formatting and linting step.

This PR should fix it 👍

Author: xenova