Polished the specs in solver a bit