minor changes recommended by PhpStorm