trivial change for consistency with the other spec headers