fix version spec in doc
fix theme