Let's at least look into it, although if it looks odd, feel free to open an issue on it.