Fixed definites bug