<?php include (TEMPLATEPATH . ‘/searchform.php’); ?>
So yeah same search box twice on the page..
If you find a bug in a Plugin or Theme you are using with WordPress, do NOT report it using the procedures in this article! Instructions in this article apply only to bugs in the WordPress core, and do not apply to bugs in plugins and themes.