Tiny fix to avoid linking issue.