some tiny tweaks