damn, excessive copy-paste in the comment. I'll fix this.