Thus bug fix moves the options database check to KSPSetFromOptions. Also done for SNES Reported-by: Alex Lindsay: