update spec and CravisCI