some fixes for documentation