(Really) minor fixes