Tiny changes

Just tiny changes. No additions.