Version 0.2.5: update doc