minor fixes unrelated to anything :)