More proper one

Still no functional change