Ah, I missed this change when I sent in #159. I'll close that one in favor of this PR, assuming this will be merged soon.