Small pedantic changes