typo / editorial

by @wingi11

wingi11