Remove distributive case, it is handled specially

Otherwise infinite loop kicks in.