tiny fix to edc762c29641c0cb8572fae7ce3c2de811239293 due to change in 226c8c2b270a6c915c2bfa98884343c4c3a7a13e