Got rid of superfluous space character that was added to work around a
bug that has since been fixed in the trie code.