Fix a sizeof bug