None needs to be NONE in gui highlighting, apparently