Do we need this dot?