Update check-procs.rb

Initial reformating