minor, insignificant tweaks