fixes #438

No I did not actively make this change... might be a merge error...