Minor size change

</ridiculously tiny commit>