Duh, I overwrote 6be87ca5 by mistake when merging 1b94fa58... fix and bump