Beman: Comment out a line of debugging code that was inadvertently
uncommented by commit d00e63354e78465aef9058d1a674758b7f33c8af