fixed typo: semicolon missed in commit a9862a77