Minor linting.

5 jobs for v0.7.2 in 13 minutes and 31 seconds (queued for 2 seconds)