Minor thing, intentional double blank line here?