Cleaned specs.h