(minor code formatting fix)