Fixed a bug in explanator