Minor pretty fixes