minor code styling tweak