Tail tucked proverbially, if not literally.