fix error found by @bancek. Thanks\!