I suggested the same on IRC :smile: