Tidying up documentation, coding style, etc.