choreography bug