Fix oversight in @galeone's pull request