small code fix in definitions