Minor change (drop a dead constant, fix a typo).