Ignoring some checker warnings