Fix a bug in the "info" webpage.