minor: missing ;