Fix a bug of sizeof