Bug in model specification