trivial fix for previous commit