small JS tweak