these two lines are not needed as they are called inside of KSPSetOptionsPrefix() and KSPSetFromOptions().