Documentation examples correction