Minor bug fix (thanks to PhpStorm for finding this).