Just a routine patch.

I am not entirely sure how it works but should the version be bumped?