Yet another small tweak