Fixes for the documentation