Roger, will be fixed. (Also feel free to join the disco server. There is a whole tab for bugs there.)
