Remove the wrong precondition check