Updated examples in manual