Tiny tweak

here's another small tweak