Fixed some warnings, caused by inga-specific code