This isn't actually needed here, is it?