fix #297: border width weirdness