minor code cleaning (no functional changes)