improved manual.py tagfile setting behavior