fix syntax of proc