Fixing filename for documentation