minor changes to the slr+ solver