NF: small reformatting