Fix build and documentation