Consistency between documentation and code