Fix one procedure bug