minor javascript fix related to #6087