Update nirvana.h