Final changes to dot()