Fixed bug with overwritten specifications and str() method