Minor code refinement