tiny (almost insignificant) optimizations