Make @ninech-bot happy?