Fix #6: the doc is up-to-date