Another fix for FF, Github seemed to not accept the commit last time…?