Another small tweak