Fixed a botched commit (thanks to PHPStorm crash...)