Fixes filename error in Duke content.