Small aesthetic changes to dox.