Small correction as pointed out by @rockbot