Minor js fix for hathor