fix substitute-dots of pdot in Function