[modules] fix filename in dox