Linting

Minor linting. This file needs a lot of work...