is this bug fixed in 0.13.2?