Another Javascript bugfix