core: remove a superfluous semi-colon