Documentation fixes; rename file