Board Thread:General Discussion/@comment-24486926-20131203031737/@comment-15505538-20131203033511

I will fix it tomorrow, since I have no time today. Thanks for reporting this!