Address #233.

(It was a stupid copy-and-paste error.)
Remove redundant code.