tiny OCD: double space after "into"