Fixed a tiny bug in pool.cshtml.