Box select too wide on Firefox, fix #1293