Fixed the typo that resulted in wrong binary size calculations