API page: http://api.drupal.org/api/drupal/developer!topics!forms_api_reference.html/7
The 'values' section for #empty_value states "Values: Defaults to empty string. Can be anything except NULL." -- this is incorrect, if it is set to the value TRUE then the empty option will overwrite $options[1] preventing the original value in $options[1] from being selected.