A tiny tweak