Follow up from previous commit

Something missed from behind.