I actually think there should be an empty line. So this is fine with me.