Fix bug #448.
Merge pull request #504 from giorgio130/master

Fix bug #448.