Two small changes to systems.html