Thanks, @ahgittin, didn't know about that. I'll add it to the next set of minor fixes before the release.