minor fix for previous commit