and that was the end of that