at what height does "manlet" aka "short king" apply?