tiny fix

previous commit wouldn't compile.