Revises formatting nits, adds source and instructions