That's stretching it. Development would involve adding new stuff, while Support is fixing old stuff. This is an already existing thing that has a problem (albeit nothing more then a typo, really...), so I figured Support, in the absence of any specific notation of where to report typos.