got rid of one more field in the abstraction