Trying to make this javascript line less controversial. Related to #113.