finest typo

by Niklas Kortüm