#22: Small fix