fix formatting in obsinfo output