Fix HTML print()