Good plugin, minor problem

Nice Plugin, thanks for that. However the function

the_category_thumbnail();

doesn’t produce a output. it looks like this in the source code of version 1.0.3 :

function the_category_thumbnail($category_id = null, $sizes = array()) {
		print get_the_category_thumbnail($cat, $sizes);
	}

I managed to fix the problem like this:

function the_category_thumbnail($category_id = null, $sizes = array()) {
		print get_the_category_thumbnail($category_id, $sizes);
	}

So, by making the parameter/argument name equal.