Small fix (Thanks to Torsten for report)