fix abstract spec