Version 8.07

Minor change - when we decorate names, spaces are converted to
underscores.