fix up careless mistake from last commit