fixed filename in doc comment