Fixes bug#27.