another tiny tweak