Some very minor fixes