Cleanups in doc/