Minor touchup for readability