Why is this needed here?