removed namespace prgbing (-> proc)