FIX: bug concerning label 'nmi' solved