Fix type. Thanks for the anonymous report.