Fixes incorrect filename in comment