Make twistedchecker happy