TOOL/zen: fixed a bug