Fixed a bug in defintions.php for if_octets