mainly a small JS fix