#999302 by troky: Fix jump menu. Apparently this wasn't actually committed the last time it was committed.
