Minor, unimportant tweaks.