Tom's changes to mars.txt