oops, tiny bug and formatting