Minor change in naming and code