Don't use <filename> in docs