fix a missing fat arrow
v0.0.4