Helvetica 17 is the default. No need to explicitly set it.