A stupid bug...