Update class.options_machine.php

fix Notice: Undefined index when wp_debug set to true
Merge pull request #196 from joanhard/patch-1

Update class.options_machine.php