Resolving Ambiguity via Dialogue to Correct Unsynthesizable Controllers for Free-Flying Robots