extendedcommands.c: fix missing ;