altered ServerAliveInterval formatting