More refinements of ReplyException