Re: [nhc-bugs] A bug