typofix

Just a tiny fix :-)