Tell me about it... I left it to keep the diff clean as it doesn't matter.

It could just be:

```php
if (self::$inst) {
    ...
}
```