SSH known host file should store port as well as host

[maximander]

Hello all, i just discovered that the known hosts file seems to only
store the server finger prints for distinct *hostnames/IPs*, not
hostnames/IPs and ports, meaning i can't ssh to a multiple boxes on
the same host even if they have different ports. Every client other
than the one shipped with openSSH seems to work fine, presumably
because they store fingerprints by host:port combinations rather than
only by host. Would it be possible to modify the openSSH client to
also store fingerprints by distinct host *and* port?
-- 
--david
-------------------
photograph (n.)
A picture painted by the sun without instruction in art.
-------------------
phrisco.com | gerpok.com | bamboozled.org
------------------