a tiny js optimisation