small tweak, not worth looking at