some fixes abut robots, Ctrl-C and link following.