Fix extension name in man page too