Small JS bugfix