otify dotstring in connectfour_tools.