python print does already append a newline