fix for spec page: missing semicolon.