Small inconsistency fixed.