Fixed a bug where some IEEE properties weren't defined