Purged a redundant $display in a code snippet example.