minor cleanup of Proc3