my bad, this fixes a bug introduced by the previous commit