#583: #583 reproduced
#583: #583 fixed
#583: #583 polished and documented
#583: documentation