trivial typo fix; patched by Moritz Schwörer; reviewed by Jun Rao