+ fix procedure labels