more specs and toStrings