small aesthetic change; done for now