Fix build and documentation.