Tidying documentation, bumping version number