restore the essential colons lost in 53ea7850d24f855304977162034b820ac49d5d69. fix #3533