Fix bug in sizeof()