Fixing up some specs