Rename getDof() to getNumDofs()