Minor cleanup from a code inspection