Minor code correction