Fix wrong notation.