regproc: fixing #5