Update definitions.php

small fix