Fixed bug raised in #11