Quick fix for dot issue introduced in 765b5ee8

This could probably be done better