More GNU sed fixes