Hot fix for `65f960d` (#203)