Fix a comment typo in 'archmap.py'