How to Play document, minor tweaks