Minor bug fix (missing ; )