Kontrak: Fix Minor Bug