Dev tweaks

Very minor changes. See compare.