(minor cleanup)