Tiny js modifications