fix bug introduced in 415d775eee34219eb986ff3dc3a5199561f24edf