Previously multiple "server" lines were consumed, but the output of the
awk filter lacked the line ending. Thus the last numeric value of the
previous "server" line was concatenated with the first numeric value of
the following "server" line. Thus multiple dots occurred in a single
numeric value and parsing just failed.
Thanks, glyndon!
Closes: #16