just to facilitate making a plugin...