fixes stupid javascript error