Very minor fixes