[standard-ml/en-en] align things a little