Minor obvious fixes :)