Add null specification