Tiny detail: the final dot '.' should not be there for procedure
(same comment for the other procedure's comments)