Minor tweak to listProcedures