(minor) correction to last commit; removes compiler warning