Fix some silly lint warnings