Is this really needed here?