OK, will add that to #352 on #366.