Proof read functional dependency example and tidied up the doc