That's something that should be improved in the entire code (see #4). I think we can do this later. :)