another small tweak