Draft: Small bugfix in trimex