Feel free to contribute a patch for that :)