Fix HTML ship names.