fix choreography bug; change method parameter type