Not needed here since it's ignored anyway.