Fix issue introduced in ba75bd16fef3ab461a7aeaa87af604875e04920a