This fixes #737 (closed)
I am not sure at all whether this behaviour is expected. If it is, please just ignore this pull request and tell me to close it.
This fixes #737 (closed)
I am not sure at all whether this behaviour is expected. If it is, please just ignore this pull request and tell me to close it.