Removed debugging symbols from HTML