minor: double space