Using proper JSON encoding of PHP value in `selectOption` method

This would fix #65.