Fix small typo that broke compilation