I think we ought to fix this once I've merged this.