Messages.symbols is Optional
minor improvements