Oh, wait -- those were already commented out (as you can see); I just removed them.