[wp-hackers] Setting default options for plugin

[Stephen Rider]

Is there an official or "best" method for setting default options for  
a plugin when it is first activated?  Currently I use something like  
this:

if (!get_option('my_plugin')){
     // set default options
     delete_option('my_plugin_options');
     add_option ( 'my_plugin_options',array( 'work_properly' =>  
true ) );
}

This is just "raw" inside the php file (not in a function) so it runs  
every time the PHP file is called.  Is there a better way of doing  
this or am I doing things right?

Stephen