minor tweaks to tcpopt output