Changed multiplication sign to middot.