Removed a gratuitous space, no functional changes.