Email Record: Hard spheres at a planar hard wall: Simulations and density functional theory