I think so. but I will quickly check what happens if it isn't...