Small fix to get rid of missing source