TL|DK: add missing semicolon