A few places that don't have the `<return>` value specified...