Thanks — your bug report was sent.