#539 reproduced
#539 fixed
#539 documented