I'm fine simply removing this line. But that may be a question for @graydon. It seems like #14 is still being discussed?