Bug fix. #12