<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
What is the reason for the \makeatletter at line~29, Bruno ? It
appears to behave identically without it.<br>
-- <br>
<i>** Phil.</i><br>
</body>
</html>