minor: we do not use whitespaces around operators such as *