Fixed an issue when displaying hot keys. The type conversions made by the hot key translator were incorrect.