That's probably a good idea. @benjamn ?