Fix small PR mistakes