Some documentation update for 0.4