small fix in the post ;)