to expand, he had 3 possible options.
Vote nickle make a tie and have no lynch
leave his vote as is and leave the gap only one vote
Vote astro as increase the gap and reduce chances of another vote changing the results to no lynch
those options are in my consideration listed from least town to most town, he took the neutral option.