a few tiny tweaks