fixed an edit I accidentally made to the crafty source code