Minor edit to source file