random_stream: better formatting