Not sure why this got reformatted, but since it is here: why is this still here? It looks like we can just delete these 3 lines.