Add a missing case for `Sub`, thanks to Amir for reporting the issue