Fix a displaying in lib/notation.php