formatting: put in one line?