Several updates for documentation