Missing }

My repo got in a weird state
It is a devel branch. Not that harmful :)