improve def of Nothing