Minor change in config's RealGalaxy builder
(#474)
Fix bugs in use of input manager
(#474)