fix bug introduced in c7dd72ab4be702f