(A0.txt) minor fix in devel branch