Fix: bug detected with phpunit