still contains extra spaces in `for`