Hopefully fix inconsistent sizes of extension.