fixed a few mistakes noticed by Yves Jaradin