Fix example to not omit leading 0 since that is invalid