Tweaks

Trivial changes.