Fixed a bug in HTML preprocessor script