minor change to syntax on crazy-bug