Fix really dumb mistake in asnaMiscellaneous.js