Very minor code simplification