Fix bugs of initialization of sup