#232: Small fix