modify Preconditions parameter format