Boost doesn't clear the front page when creating a new node

Hi, I noticed that when a node is created that belongs to the same menu as the front page, and boost is set to clear the whole menu, the front page isn't cleared. I solved the problem in this way (I haven't learned how to make proper patches yet):

Go to line 2878 in boost.module, function boost_file_path. Paste this as the first piece of code inside the function:

	if(!isset($_SESSION['site_frontpage'])) $_SESSION['site_frontpage'] = variable_get('site_frontpage', 'node');
	if($path==$_SESSION['site_frontpage']) {
		$path = '';
	}

This solves the problem for me although there are probably better ways than to use a $_SESSION variable.